Behavioral Modeling of Software Intensive System Architectures
نویسندگان
چکیده
Architectural modeling and analysis are mechanisms that allow the capture of design decisions early in the process, so that they can be assessed and modified without incurring the costs of incorrect implementations. This paper addresses Monterey Phoenix (MP), a behavioral model for system and software architecture specification based on event traces, which supports architecture composition operations and views. MP captures behaviors and interactions between parts of the system and the environment with thods and the small scope hypothesis, MP supports automatic generation of behavior examples (Use Cases) for early system architecture analysis, testing, verification, and validation. This paper also introduces a methodology utilizing MP that will inform quantifiable cost estimates (e.g. Function Point analysis) and ultimately project, program, and enterprise level resourcing decisions. Enhancing and extending DoDAF, UML, and SysML, MP is focused on behaviors, interactions, and automated tools for early verification.
منابع مشابه
Towards Integrated System and Software Modeling for Embedded Systems
This paper addresses the integration of system modeling and software modeling, particularly for embedded systems, which are software intensive systems that consist of both hardware and software components. This paper describes a systems modeling approach to create structural and behavioral models of the total system using SysML. The systematic transition to software modeling using UML is then d...
متن کاملACESMB 2011 Fourth International Workshop on Model Based
This paper addresses the integration of system modeling and software modeling, particularly for embedded systems, which are software intensive systems that consist of both hardware and software components. This paper describes a systems modeling approach to create structural and behavioral models of the total system using SysML. The systematic transition to software modeling using UML is then d...
متن کاملEvolution in Model-Driven Software Product-Line Architectures
This chapter describes our approach to modeldriven engineering (MDE)-based product line architectures (PLAs) and presents a solution to address the domain evolution problem. We use a case study of a representative software-intensive system from the distributed real-time embedded (DRE) systems domain to describe key challenges when facing domain evolution and how we can evolve PLAs systematicall...
متن کاملConstraints for the design of variability-intensive service-oriented reference architectures - An industrial case study
0950-5849/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.infsof.2012.09.011 ⇑ Corresponding author. E-mail addresses: [email protected] (M. Galster), [email protected] (D. Tofan). 1 We use singular of the term ‘‘service-oriented archi discipline, technology or paradigm of service-oriented referring to more than one service-oriented architectur software development. Context: ...
متن کاملEffective Modeling of Software Architectural Assemblies Using Constraint Automata
Alfa is a framework for the construction of software architectures and their elements from architectural primitives. In any system involving events from multiple sources, synchrony and asynchrony between events arise naturally. Support for simultaneous synchrony and asynchrony, and scalability to assemblies of large numbers of architectural primitives are central concerns for effectively modeli...
متن کامل